Implement bool expressions

Implements #160.
Wouldn't it be easier to just construct the `Phi` node yourself? No more `$tempBuVar` necessary.