checkers: new Checker interface, add tests
Merge pull request #13 from rogpeppe/009-refactor-checkers

checkers: new Checker interface, add tests
bakery/checkers: add Declared and InferDeclared