Initial commit. Algebraic!
Add natural numbers. Prove they form a (commutative) semiring. Associativity of * still todo.
Now that wasn't so hard!