Work in progress, cleaning up Bit to be independent from Nat
Finished with Bit.agda for now
Forgot to add Util file
Forgot about carry. Binary is broken, one bit adder needs to be written in terms of carry 0