Support for define-record-type