Merge pull request #157 from luqui/master

Removed the recursion depth limit, so it's possible to use natural numbers as unimaginably huge as 1,000.
Update cabal, increment version number