Infer: Add loadIndependent for loading of simple expressions without getDefs
ImplicitVariables: Move infer assertions to Infer.UntilConflict
Structure: Don't overwrite iValue in-place. Properly update the Infer Context
Hole: accept uses ExprUtil.structureForType directly, rather than the inferred val with the implicits which may be invalid to accept