Added parse().
Fix dump() bug.
Added node visitors/transformers.
Added metaclass for easily defining new AST nodes.
NodeTransformer bug fix.
Added unification algorithm.
Refactored matching algorithm.
Fixed/finished matching algorithm.