Implement bool expressions

Implements #160.
IMO, you can delete these.