The names of the product elements
The name of the type
Returns a top-level scope covering the given site in the source program.
An abstract top-level scope.
The order between lexical scopes.