32-BIT, 1
64-BIT, 2

5, 3

Account, 4

Bool, 5

DEFAULT, 6
DEFAULT+, 7

Float, 8
Float0, 9
Float<, 10
Float<=, 11

IndexPair, 12
Int, 13, 14
Int0, 15
Int<, 16
Int<0, 17
Int<=, 18
IntAsStoset, 19
IntAsToset, 20
IntVector, 21

Maybe, 22

Nat, 23
Nat0, 24
Nat<, 25
Nat<=, 26
NatAsToset, 27

Pair, 28
PAR-TH-EXAMPLE, 29
POSET, 30
PosetToToset, 31

Qid, 32, 33
Qid0, 34
QueensBT, 35
QueensBT2, 36

Rat, 37
Rat0, 38
Rat<, 39
Rat<=, 40
RING, 41
RingToRat, 42

Set, 43
SModule, 44
SModule’, 45
SPosetToInt, 46
STOSET, 47
STRICT-TOTAL-ORDER, 48
STRICT-WEAK-ORDER, 49
String, 50
String0, 51
String<, 52
String<=, 53
StringAsToset, 54
STRIV, 55
StrivIdle, 56
Substitution, 57

TOSET, 58, 59
TOTAL-ORDER, 60
TOTAL-PREORDER, 61