int-operator-specific type rules

Conflicts:
	src/theory/arith/kinds