Towards new infer
Extract ExprRefs
Pull in the intdisjointset fork
Lamdu.Data.Expression.Infer.Unify -> Lamdu.Data.Infer
unqualified import of Infer.Internal
Lamdu/Data/Expression/Infer/UnionFind.hs -> bottlelib/Data/UnionFind.hs
Remove GuidAliases
mergeBodies has renames
LoadedDef pair
Add annotateUsedVars
ExprRefs uses ExprUtil.annotateUsedVars
infer inserts into ScopedTypedValue
Types of GetDefs
Export unify
No InferT monad
InferError -> Error
Deref
Infer.emptyContext
Add derefExpr
Towards tests of new infer