fix #634 make default proposal for shortcut refinement syntax