LoadedDef pair
Add annotateUsedVars
ExprRefs uses ExprUtil.annotateUsedVars
infer inserts into ScopedTypedValue
Types of GetDefs
Export unify
No InferT monad