playing with expressions/patterns - scrapped because too hard to type, trying dynamic
sane unification base for expressions
parsing and pretty printing for expressions
Seperation into modules
Split off Unification module and spring cleaning