Added telPi to Reflection.Telescope
Added data type parameter computation to Reflection.Telescope

(not the right place)
various fixes to DeBruijn
Added forgetAny to Data.List
Deriving Eq for non-mutual datatypes