Match
EQ
GT
LT
Comparison
D0
D1
DCons
DNil
Digit
Dense
Nat
Nat0
Succ
Max
Dense
Min
Dense
Mult
Dense
map
IndexedOps
SizedVector