Many of those are getting addressed. Value types are in the works, generics specialization for primitives, and even type classes.