-------------------------------------
  	     Implement deriving( Data )
	-------------------------------------

Implements deriving( Data ), where the Data class is defined
in Data.Generics; its the "scrap your boilerplate" Term class.

Ralf is still converging on the exact definition of the Data class,
so the details may change.