add record example to tests; fix library for records
beginning type_check's obituary