Added 'unify' keyword to the specification language. Also added missing
cases for running unification algorithm.