completed type structure unifier