Potentially refactor Derived / substitute #3
Description
Are the Derived class and the substitute methods both needed? Is "Substitution" a better name for "Derived"?
Paul Klint's tutorial on Term Rewriting doesn't use the term "Derived", but perhaps Derived is just a Substitution in Klint's terminology?