unify keyword(trunk->head)