Added kid binary encoding in the diagnostic notation #67

Closed erdtman closed 6 years ago