1.4.7 Ordinal Arithmetic

(make-ord xs)

(o< x y)

(o<= x y)

(o> x y)

(o>= x y)

(o-finp x)

(o-infp x)

(o-p x)

(o-first-coeff x)

(o-first-expt x)

(o-rst x)