Infer monad is a newtype
Extract Infer.Context from Infer.Internal
Remove unused tvRefs
LoadedDef exported from Infer.Load
Infer.Internal renamed Infer.TypedValue. Open import replaced by closed/qualified imports