Proper error for missing eliminator

...just a Msg, but it's better than an INTERNAL ERROR
Merge pull request #1676 from edwinb/elimerr

Proper error for missing eliminator