Palfrey's life

A very long list of things I want to do that I can't (C++/Python appears to have spoiled me). Some of these are to do with Generics, and some are to do with collisions with the Java language

1) Operator overloading
2) Find out *which* object is the current generic type, so that I can do type checking on dynamically called functions
3) Subclassable enum's - as they're subclasses of java.lang.Enum this *should* be doable, but no... they're final instead. And java.lang.Enum can't be directly subclassed by the programmer... thrice cursed language designers...
4) Getting rid of all the damn primitive types in favour of an actual OO-language
5) No more calling of vastLongFunction().anotherLengthyFunction().anotherDarnJavaFunction() just to get hold of a relatively common value.

In short, I'd either like to be in C++ (I'm willing to trade the freedom to shoot myself in the foot in exchange for some darn power) or Python (where I could have done all of the above in about 30 seconds flat). Heck, even Haskell would be better. At least that had a function pointer-like concept, which is darn hard to get hold of in Java (and bloody annoying to use when you can).