Conjoin predicates (for convention types).

[BowenFu]

This MR fixes +/-, but fails some bf tests, since r. would not match big float because big float does not match r (number?).