Infer API: Expose Scope and emptyScope
typeInference: Takes a Scope
typeInference: Only add substs that relate to Scope
Remove 'TypeVars' from names inside the TypeVars module