Add test cases for file FamilKindSig.hs and related changes