Solututions to the Natural Number Game
Finished the final world
Wrote down the solutions to the addition world
Finished the power world
Finished two more worlds
Fixed typo in the filenames
Renamed the mynat type to ℕ
Initial commit