Get rid of redundant type checks.

Define % operator similar to int%int.