A Java type with enough runtime representation for operations such as `instanceof` and array creation.