Have enumeration primitives directly calculate their values instead of computing a list and indexing into it.
Have enumeration primitives directly calculate their values
instead of computing a list and indexing into it.

GaloisInc/cryptol,GaloisInc/cryptol,GaloisInc/cryptol