[#67] Open-source checklist

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