SugarM: Has cached-transactions capability
Rename contextHash/ilrContext -> holeInferStateKey/ilrBaseInferContextKey
Sugar: Rename (InferLoadedResult, inferLoadedExpression) -> (inferAddImplicits, InferredWithImplicits). Share inferOnTheSide computation when possible
Hole color scheme: Valid-typed hole wrappers are green. Invalid-typed hole wrappers are red. Other holes are blueish.