Replacing the terms first-class and second-class types by first-level and second-level types