Added test cases for closed type families in .hs-boot files.
Fix #7116 failing due to uniques