Checklist for the first final version of the specification

Created by: wks

HAIL #29
Unsafe native interface. #24
API in C (header)
API in C (documented)
API as Mu instructions (common instructions). #36 (closed)
Adjust the undefined function API