R7RS-small allows that the <name> of a record type is being bound to a purely syntactic representation by define-record-type.

SRFI-99, which is based on a procedural layer, needs a run-time object.

What does SRFI-131 have to say about it? Is SRFI-99's procedural layer mandatory for SRFI-131 or just the syntactic layer described. In the latter case, does SRFI-131 allow syntactic representations of the record type?

Marc