Records that can be subtyped must be marked as #:extensible. See this unit test of records for an example: https://gitlab.com/spritely/guile-hoot/-/blob/main/test/test-records.scm?ref_typ...
I haven't actually used this feature for myself, yet. I hope it works okay!