Add Semiring Instance

So an entire repository for Peano numbers, eh? :)