[Much of the initial comments are woefully outdated. Skips to Aug 2020 dates comment for a summary of work left here]

Moving forward it looks like we want to say "Foo.class" for class constant (ldc Class) in source code. If you want the boxed/value class mirror, you need to use Class.asBoxType()/asValueType() methods.

"Foo.val" and "Foo.box" are still valid as type tokens, "Foo.box f;"

We can defer this until we confirm newer syntax (Foo? etc).