pub fn optimize<'a>( allocator: &'a Arc<Allocator<'a>>, env: &'a dyn OptimizeEnv<Type = ArcType>, expr: &'a Expr<'a> ) -> Global<CoreExpr>