minor cleanup
Exploring Unification and Resolution.
Apply substitution to all goals.