Fixes naming issue with eliminator parameters, and eliminators on empty
types
Merge pull request #1160 from ahmadsalim/bug/furthereliminatorfixes

Fixes naming issue with eliminator parameters, and eliminators on empty types