Added data options
Eliminators working for some type - still experimental. Will create a way to make them work with the elim type class