Created initial version.
Changed source file layout in directory tree.
Added definitions for tests.
Removed an empty line.
Remove debug print.
Separated examples from library code.
Added Sudoku Example.
Refactor function labelL with type List.
Add missing primitive constraints and their tests.
Modified with StateT + ST monad (close #8)
Merge pull request #11 from notae/wip/initial

Initial code and examples