'Potential match' rather than 'Unverified by compiler'
Shut down type-hierarchy background job if it's no longer relevant