Missing arithmetic support

[Sword-Smith]

• [x] Mul
  • [x] u32
  • [x] u64
  • [x] u128
  • [x] BFE
  • [x] XFE
• [ ] Div
  • [x] u32
  • [x] u64
  • [ ] u128
  • [x] BFE
  • [x] XFE
• [ ] Rem
  • [x] u32
  • [x] u64
  • [ ] u128
  • [ ] BFE
  • [ ] XFE
• [x] Add
  • [x] u128
• [x] Sub
  • [x] u128
• [x] Eq
  • [x] u128
• [ ] Lt
  • [ ] u128
• [x] Shl
  • [x] u128
• [x] Shr
  • [x] u128
• [ ] .count_ones() in terms of popcount
  • [x] u32
  • [x] u64
  • [ ] u128
• [ ] Or (binary)
  • [ ] u128
• [ ] And (binary)
  • [ ] u128
• [ ] Xor (binary)
  • [ ] u128

Edit: Remainders for finite field elements are not mathematically defined. So they should not be implemented. The type checker should catch that.

[einar-triton]

I will look at Rem.

[Sword-Smith]

I will look at Mul first