Expr.Infer: Generalize State to StateT forall m
memoLoadInfer: Type is now StateT+MaybeT+CT