remove unnecessary kind proxies from TerminalMorphism