Deal with :<foo> prefixes in the REPL