Add %elim to various types

This merely adds %elim to tuples, Either and Ord.