Update the description of first-class types to reflect that