Remove the hasGenerics field of TyCon, improve the way the Generics flags is handled...