add comment
better errors when shortcut-refining overloaded decs