Port open type family tests to closed type families

These tests are not yet exhaustive - they don't test propertied
typical to closed type families (like overlapp)