(let ((type typeId (record))) ())