dryad/jls/types Erasure Erasure.str Lub Lub.str Main Main.str Parameterized Parameterized.str Primitive Primitive.str Raw Raw.str Reference Reference.str Reifiable Reifiable.str Subtyping Subtyping.str UncheckedConversion UncheckedConversion.str