- some termination checking for type operators