FIX #3166: include the fixity of classes and type synonyms in their fingerprints