Support integer division and modulus buildins

[robsimmons]

Multiple possibilities here:

div 7 4 is 2
mod 7 4 is 3

or

divmod 7 4 is [2, 3]

Relatedly, allowing multiplication to be run backwards naturally gives exact division:

a X :- times X 4 is 12.

... will naturally derive a 3.