Boolean parameters

This implements the proper use of boolean variables, and it checks the refractoriness condition with the `is_boolean_expression` function.