(*
 * Well, on second thought, I don't think we ever want to reverse the
 * short-form order of the parent class and components, as in
 *
 *     obj PersonRecord is Name and Addr and Age and Sex < GenericRecord
 *
 * Rather, we should stick with
 *
 *     obj PersonRecord < GenericRecord is Name and Addr and Age and Sex
 *)