Runtime Type System
Description of all the information related to the type system at runtime.
Introduction
As described in the Runtime Type Encoding page, every type created at runtime have an encoding. With this encoding, we can perform creation of objects, object tests, get the type of the i-th generic of a class.
Type description
For every computed type
