add mod and attempt at divmod to peano.hs; add progress on binary to Basics.v (on the right track maybe?)