Supports "not 0" properly.
Removes "lsl RB" construction, unsupported in Thumb.
Supports modulus operations in Thumb.