bindVariable :: VariableID -> QIdentPath -> State RuleState ()
bindVariable name path = modify $ \s -> s {
    ruleBindings = ruleBindings s ++ [RuleVariableBinding name path]
    }
bindVariable :: VariableID -> QIdentPath -> State RuleState ()
bindVariable name path = modify $ \s -> s {
    ruleBindings = ruleBindings s ++ [RuleVariableBinding name path]
    }
bindVariable name path = modify $ \s -> s {
    ruleBindings = ruleBindings s ++ [RuleVariableBinding name path]
    }