add material to presentation, add todos to peano.hs, start binary numbers again. increment func next