Type
Type of a term (expression or statement) in the IR.
There is a many-to-one relationship from TypeRefs to Types,
because java.lang.Object and JS types all collapse to AnyType.
In fact, there are two Types that do not have any real equivalent in
type refs: StringType and UndefType, as they refer to the
non-null variants of java.lang.String and java.lang.Void,
respectively.
object AnyType.type
class ArrayType
class ClassType
class PrimType
class PrimTypeWithRef
object BooleanType.type
object ByteType.type
object CharType.type
object DoubleType.type
object FloatType.type
object IntType.type
object LongType.type
object NoType.type
object NothingType.type
object NullType.type
object ShortType.type
object StringType.type
object UndefType.type
class RecordType