apply old substitutions before running unification, some more refactoring
chage data types
fix Unify for new data types
make mgu application a typeclass
UndefinedRule error, Eq and Ord instances of string newtypes
one true/1 rule to built-in rules
repl