LICENSE
Add and document a default impl of gtraverse
Standard instances
Reduce tuple instances
Make D.G.T.Instances internal
Do not use recursive modules

(The reason is the TH's stage restriction.)
Instances import
Alpha-rename