@mflatt yeah I think I need records for some things and unions for others…the UserDefinedType pairs a name with a tuple of types…I just wanted the pairing itself to be with named fields

i.e something like this: (user-defined-type ::= ((TypeName type-name) (TypeDefinition tuple-type)))

Ok, that would work