tweaks for getting good unbound ids, but avoiding labelling all ids unbound at the repl