Following the merge of https://github.com/GaloisInc/cryptol/pull/1227, we need to add the new enumeration forms to the documentation.