conservative : List CoreFn.Name.Name -> CoreFn.Expr.Expr ann -> CoreFn.Expr.Expr ann
aggressive : CoreFn.Expr.Expr ann -> CoreFn.Expr.Expr ann
custom : (CoreFn.Name.Name -> Maybe String) -> (CoreFn.Expr.Expr ann -> Basics.Bool) -> CoreFn.Expr.Expr ann -> CoreFn.Expr.Expr ann