Fixed term-set based searches in REPL.py