Syntactic unification