Reified generics

[abreslav]

For now we have postponed reified generics until better times: they make the Java interop ugly: passing the typeinfo stuff everywhere.