add name to check-equals, check-pred in checkers library, closes #22