One could define an operator that worked like this:
(atest (+ a c) [> _ b] (= a it))
Though it isn't necessary in this case, the body could
have multiple expressions, like a when. This operator
would be like awhen, but binding it to the thing being tested instead of the result of the test.
