Added typesafe versions of the TH generated functions
Added a unit test for puzzles

Added some random puzzles found on the internet :
http://www.wtharvey.com. Using the test-framework package to check each
puzzle in turn. Asserting the first move of the solution.