Fix CTYP-60. Absent keys in map are checked properly.
Fix CTYP-53. HMap is less eager to simplify to Nothing incorrectly.
Fix CTYP-46. Document ann-record and ann-datatype.