Tip.Simplify

data SimplifyOpts a

gently

aggressively

simplifyTheory

simplifyExpr

simplifyExprIn

isConstructor