Here's the current list of classes with missing Hint Mode:
No 'Global Hint Mode' for class 'TCNoBackTrack'No 'Global Hint Mode' for class 'TCIf'No 'Global Hint Mode' for class 'TCTrue'No 'Global Hint Mode' for class 'TCFalse'No 'Global Hint Mode' for class 'Inj'No 'Global Hint Mode' for class 'Inj2'No 'Global Hint Mode' for class 'Cancel'No 'Global Hint Mode' for class 'Surj'No 'Global Hint Mode' for class 'IdemP'No 'Global Hint Mode' for class 'Comm'No 'Global Hint Mode' for class 'LeftId'No 'Global Hint Mode' for class 'RightId'No 'Global Hint Mode' for class 'Assoc'No 'Global Hint Mode' for class 'LeftAbsorb'No 'Global Hint Mode' for class 'RightAbsorb'No 'Global Hint Mode' for class 'AntiSymm'No 'Global Hint Mode' for class 'Total'No 'Global Hint Mode' for class 'Trichotomy'No 'Global Hint Mode' for class 'TrichotomyT'No 'Global Hint Mode' for class 'FinSet'No 'Global Hint Mode' for class 'MonadSet'No 'Global Hint Mode' for class 'TCFastDone'No 'Global Hint Mode' for class 'Maybe'No 'Global Hint Mode' for class 'Maybe2'No 'Global Hint Mode' for class 'Maybe3'No 'Global Hint Mode' for class 'Maybe4'No 'Global Hint Mode' for class 'DiagNone'No 'Global Hint Mode' for class 'FinMapDom'No 'Global Hint Mode' for class 'FinMap'No 'Global Hint Mode' for class 'SetUnfoldSimpl'No 'Global Hint Mode' for class 'QuoteLookup'No 'Global Hint Mode' for class 'Quote'No 'Global Hint Mode' for class 'MakeNatS'No 'Global Hint Mode' for class 'MakeNatPlus'
