in particular, there is no more need to define intermediate
sorts or to close the set of protected types wrt subtyping