rework typlevel numbers in base 10 with `Inc`rement classs

[safareli]

Also piano numbers were removed as Inc class now could be used instead of S

this should open up a way to fix https://github.com/f-o-a-m/purescript-web3-generator/issues/41

~The only part of this change which I don't like is that for vUncons they way we use Inc works fine but if you remove type annotation to code there it's used compiler can't infer the type itself, so it should be used with care.~ I removed vUncons and moved it in tests we can add it later

Before using this version of Inc I had to chose from this two:

• With superclasses - https://gist.github.com/safareli/e1d3805a48a0a772d72ed895945c3607#file-digitswithsupperclass-purs-L38-L103 (thanks to @monoidmusician)
• With Conditional https://gist.github.com/safareli/1a5b6c415d9a86135af971d875de87b8#file-digitswithconditional-purs-L38-L86I

I had to comparing this version somehow, I came up with this points:

• how easy it is to understand and change the code
• how good type inference is

(superclass version has more code mostly because of we need 2x IncDinstances but Line of code is not that important)

• Type inference in both version, for :< operator usage is good, but for uncons both of them will fail without type annotation.
• in terms of easy of understanding I don't quite understand supperclass version, and conditional is trivial.

So I dicided to conditional version, which you can see here.

[martyall]

looks good to me