add Haskell operations for Peano numbers, including integer division! also add some progress on SF up to beq_nat.