racket-cas
racket-cas copied to clipboard
Conjoin predicates (for convention types).
This MR fixes +/-, but fails some bf
tests, since r. would not match big float because big float does not match r (number?).