Expose optimizeExpr' function which doesn't return a Maybe type
Add optimization options for => function