I wrote a syntax-rules macro to define a record type with updaters instead of mutators: https://gitlab.com/dpk/presrfis/-/blob/master/define-value-type.scm