i like parametrized types in C++ and Java.  i don't know if we need a better type system in future though