mathlib3

feat(lint): add priority test for instances that always apply

#1625

Merged