Type.hs tweak to Is* and *Dict classes.

All Is* classes consistently have their root * classes as superclasses now.
Further, the set of dictionaries reified by IntegralDict & co is increased to
include the Is* classes.
Add the ability to reify the structure of surface tuples, not just internal Repr's.
Also expose Trafo.Sharing because backend-kit needs it.