+MONOID, 1

BIT-WIDTH, 2

CELL, 3
CHOICE, 4

DEFAULT, 5

MONOID, 6

NSPOSET, 7
NSTOSET, 8
NZNAT#, 9

POSET, 10

RING, 11

SEMIRING, 12
SPOSET, 13
STHEORY, 14
STOSET, 15
STRICT-TOTAL-ORDER, 16
STRICT-WEAK-ORDER, 17
STRIV, 18

TAOSET, 19
TOSET, 20
TOTAL-ORDER, 21
TOTAL-PREORDER, 22
TRIV, 23, 24

UNIFICATION-EX2, 25