add s_types and s_class_kind
make sure type parameters are KTypeParameter even if we do not know the constraints yet (see #2085)