Option variable
default_let_rule_packageDefault value: default_let_rule_package
default_let_rule_package is the name of the rule package used when one
is not explicitly set by the user with let or by changing the value of
current_let_rule_package.