The plan would be to automatically derive classes 'Typable' and 'Term' for every data type, and make TypeReps a bit more efficient and clean.

Good, I would appreciate that very much!

is anyone actually using the derivable-type-class stuff? does anyone mind if they die

No, I don't mind Christian