Improve FamilyResultSig comment per Simon's suggestion
Introduce LInjectivityInfo per RAE's suggestion
InjectivityInfo -> InjectivityDecl. Comments
fdKindSig -> fdResultSig
existsSignature -> hasReturnKindSignature. Haddock
extractInjectivityInformation -> getInjectivityInformation