Typing: attempt to output
Typing: renamed returnInferError to returnFatalInferError
Typing: continue with inferencing, even though unable to unify types; assume substitution = id