allow shortcut refinement of "default" declarations #513