Adds HasNumber, consoncance/dissonance predicates etc