- accept predicate symbols as functions to bool in programs
- get rid of *_bool comparisons in theories/programs.why