Refactoring grammar so that "is" and "raises" are no longer
binop-exprs, but rather check-tests (of lower precedence than
binop-exprs).  This should make it much easier to add new forms of
check-tests...
adding "satisfies" form of check-test