move Infer.load/memoBy into inferOnTheSide
Hole.pickResult doesn't need stored subexpressions
Hole: Holify specifying subexpressions in accepted inferred type