Add lint for catch-all match arms

A step towards #3482. There is nothing fancy here (no special treatment of enums, no print of missing cases) because there seemed to be no clear consensus on what to do.