Unification and grammatical theory