Parsing basic predicates

only two types:

* variable equality defined using

  `some_var is 'expected'`

* set inclusion defined using

  `some_var in {set of things}`