Disable broken not formulas in TS rules for now.
Don't compare implicit Object superclass.
Handle names annotated with definitions in resolveNameBindings.