Added trivial methods to Substitution and dummy functions for the
important parts of Substitution and Unification.