Add failing test and type annotations
Infer: Extract applyHoleConstraints
mergeBodies -> mergeScopeBodies: Apply hole constraints on nonHoleBody
VarEscapesScope: Has Guid