Scope has the Def root representing implicit variables in it
RefData.restrictions collection
Don't export internal Infer monad from API
Added LamWrap and unused ImplicitVariables
InferWrappers: inferLoadedDef
Extract handleResumption
Maintain a Def visibility map in Context (unused yet)
Derefed->DerefedSTV, has scope and not original STV (will have ref in each subexpr)
deref annotates refs of each subexpression
runInfer -> Infer.Monad.Run module
LamWrap: Export API, not internal Infer actions
Deref: Expose toInferError & deref
Rewrite ImplicitVariables
InferWrappers: InferredLoadedExpr type alias
inferLoadedDef -> loadInferDef
Tests: assertSuccess -> fromRight
Implicit Vars work?
Tests: Basic/low-level support for implicit variable tests (Tests fail yet)
ImplicitVariables: Basic tests pass (existing tests also tested rigidity)