Added Cabal tests for Peano numbers
Added importation list
Fixed Peano instance of Num