Remove old/irrelevant TODOs
ImplicitVariables: Extract lambdaWrap
Hole.inferOnTheSide: Add comment about why the memoLoadInfer in inferOnTheSide is OK
Sugar: Get rid of inferMaybe/inferMaybe_, always use memoLoadInfer and a new SugarM.memoLoadInferInHoleContext function