I’ve made a define-type form that builds an algebraic data type. The different cases of a type can be either a tuple, a record, or an enum case. A single enum is generated for each type to hold all the enum cases. A predicate is generated that tests type membership.