Returns new scope where name resolves to symbol, shadowing previous binding of name if any
Resolve a type variable name to a symbol
Minimal utility to resolve generic signature type variables to fully qualified symbols.