Hole: Oops, use loadInferInto and not loadInferScope
Use Sugar.Convert.Infer.loadInfer when possible (rather than lower-level loadInferScope)
Allow recursive references, unify their type with the outer-most type