Add a spec for `irem`, with a TODO to implement it.
Add a spec for `irem`, with a TODO to implement it.

Also tweaked the spec for `imod`.

danfuzz/samizdat,danfuzz/samizdat,danfuzz/samizdat,danfuzz/samizdat