Consider checks rule argument types (But doesn't convert?), and orders rules by specificity (based on said types).