Implement bool expressions

Implements #160.
... and user-defined method calls