They don't want to introduce the a third type (next to primitive types and reference types). They are unifying the type system so that after this change we will

They don't want to introduce the a third type (next to primitive types and reference types). They are unifying the type system so that after this change we will also get universal generics so that List<T> could be List<int>, List<Person> and also List<Person.val> (where Person.val is an inlined class without identity).