Changed name of subtype unifier type class.