I mean, you could end up with something similar to Scala's top-level type hierarchy, but that means rewriting the type system and losing Java type interop, afaik