This package provides abstractions for the Java type system.