Update lots of evaluators

* Predicate::And and Predicate::Or are now binary
* Add Tranformer::Static and Transformer::Input
* Sharpen shared specs