inferDefInNewContext -> runNewContext, separate deref phase, keep payload around
Infer: tempUnify to return ()
InferWrappers: Add try and unifyExprVals
Re-enable failResumptionAddsRules