Update to new smallcheck
Add regexps for integer numbers
Make formatting consistent
Bump Cabal dependency because of the test suite
Specify default language
Release 0.3