Mod, Rem, Quotient?

[rebcabin]

I noticed that, while Div is a binop, Mod, Rem, and Quotient are not. What gives?

[certik]

Well, we could add them. They can be computed using existing operations, so we wanted to keep the ASR minimal.