Basic arithmetic on Scala's type system using Peano numbers