TcSimplify
simplifyInfer
simplifyDefault
simplifyDeriv
simplifyRule
simplifyTop
simplifyInteractive