feat(lint): add two new linters (#2089)
* feat(lint): add two new linters
checks whether type-class inference searches end relatively quickly
checks that there are no instances has_coe a t with variable a
* remove `is_fast` from `has_coe_variable`
* add link to note
* typo in priority
* fix error, implement comments
Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>
