Finished Exercises 2.1-1--3. Built BinaryInteger prototype for 2.1-4
(yes, technically not necessary, but it's good to know what "two's
complement" really means), but haven't tested it, yet.