Termlib.repl exports Ruleset