Start adding a parser
Fix unification algorithm