Desugared.DisambiguateSourceThis module does local typing in order to fill some missing type information in the AST:
EAbs nodes, (untyped ones are inserted during desugaring, e.g. by `let-in` constructs), as well as EApp and EAppOp nodesEDStructAccess nodes.