add more progress on binary; formalize in haskell in bin.hs; stumble on the right constructor interpretation while writing bin -> dec; everything works great thereafter (inc has no more mutual recursion and constructors map directly to binary