give unused pattern error on multiple catch-all patterns (closes #2503)