TcSimplify
simplifyInfer
simplifyDefault
simplifyDeriv
simplifyBracket
simplifyRule
simplifyTop
simplifyInteractive