Add a grammar for refinement predicates to README