[#67] Open-source checklist

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