Add rudimentary support for type/data families

This adds support for type/data families with their respective
instances, as well as closed type families and associated type/data
families.

Feedback required. Links still seem to be broken sometimes. Even though
they show up just fine within a module, they don't show up in the index,
and they throw out warnings on the command line.