. . "Each such category is known as a record type." . .