Add %elim to tuples.
Add %elim to Either.
Add %elim to Ordering.
Merge pull request #1713 from jech/add-elim

Add %elim to various types