Sugar.Types.Internal: Add InferContext pair
Get rid of SugarM.memoLoadInferInHoleContext