[WIP] Add comparison predicate evaluators

There are static evaluators that always evaluate to error. These you place in left / right. To assert  the error propagates with context.