bakery/checkers: add Declared and InferDeclared
Merge pull request #14 from rogpeppe/010-declared-checker

bakery/checkers: add Declared and InferDeclared