improve specificity algorithm, add assertions and tests

simplify tuple type specificity implementation

fix specificity `A{B,B,C} < A{B,C,D}`

Backported from PR #22162

(cherry picked from commit 4634a3d)

Conflicts:
	test/core.jl

Author: JeffBezanson