Cache: OOPS! ValMap had only one Val type for each key type
Revert "Revert "memoLoadInfer: Type is now StateT+MaybeT+CT""

This reverts commit ac67a5c417114d83c78496af4aa2bb3e47915f3f.

Conflicts:
	Lamdu/Sugar/Convert/Infer.hs