Add missing files

Version bump

Version bump

List missing modules in Cabal file

Refactor Validator as PointsChecker

The validator is really a bit like a type-checker,
but the only "type" it checks has to do with points,
so I let it be known as a PointsChecker.

Version bump