add increment and binToNat functions and some test cases (add more, but I'm pretty sure it's correct