The common type system defines how types are declared, used, and managed in the runtime, and is also an important part of the runtime's support for cross-language integration