ScopedTerm explicitely uses Symbol; exports tType (which is its own type)