Generics and variance improvement in syntax