More tests for closed type families, including interactions with TH.