Currently Zebu treats int<1> the same as int<8>. This is fine if the client only uses int<1> as boolean. If the client uses int<1> arithmetic operations, Zebu returns wrong result.

We should either explicitly forbid int<1> arithmetics or implement it.