Force bounded integral types into their sane range

Add support for many more integral types in the process
Merge branch 'bounded' of github.com:singpolyma/path-pieces

Conflicts:
	Web/PathPieces.hs