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. I think there's still some link breakage, and
documentation for type family instances doesn't show up yet.
(See: src/Haddock/Interface/Create.hs:61)