define-record-type implemented.