Slight phase reordering

corce and commit for interop need to be after uncurry, where closures are desugared
WIP checkpoint
Transformation from FunctionX to MbFunctionX