Proper error for missing eliminator

...just a Msg, but it's better than an INTERNAL ERROR