First version of a simple PAT-tuple validator.
Merge pull request #1 from vadler/master

master - Start up.