NumCat method names
CircuitEq, CircuitOrd, CircuitBot; Eq & Ord prims
new prims: Negate, Eq, Ord
EqCat, OrdCat; escape angle brackets