checkers: new Checker interface, etc