[#67] Open-source checklist

The spec in line 180 uses a record, please define a type for the record and use that instead.