bakery/checkers: add Declared and InferDeclared