bindExpression :: ExpressionID -> QExprPath -> State RuleState ()
bindExpression name path = modify $ \s -> s {
    ruleBindings = ruleBindings s ++ [RuleExpressionBinding name path]
    }
bindExpression :: ExpressionID -> QExprPath -> State RuleState ()
bindExpression name path = modify $ \s -> s {
    ruleBindings = ruleBindings s ++ [RuleExpressionBinding name path]
    }
bindExpression name path = modify $ \s -> s {
    ruleBindings = ruleBindings s ++ [RuleExpressionBinding name path]
    }