handle shortcut refinement syntax
enable Find Refinements on toplevels and locals