Return datatype names together with their declarations.

Names will be required when defining instances of Apply type family.