feat(library/standard): add natural number libraries using inductive types with add and mul
feat(library/standard): add natural number libraries using inductive types with add and mul

leodemoura/libraries