fix #6407 SomeFloat and SomeInteger types fails to differentiate in a…

[bung87]

… generic call from other generic

fix #6407
fix #13549 type class

refs: #12787

refs: #10739 type Obj[A; B: not A] = object

refs: #19999 this call doesn't turn to a container of enum, so wil not compare f.base and a.base

refs: #6840 this does not seems be a issue.

refs: #4084 proc generic doesn't have constrained as return type

refs: #18314 Objects subtype generics are bound using the most broad type and not the most specific type

[bung87]

get better idea to reuse typeRel here. make this draft for now.

[bung87]

Unfortunately I have to modify lib\pure\strformat.nim and tests\stdlib\tstrformat.nim to make generic constrain work. It cause by builtin formatValue generic covered all case, so I'll specific the generic constrain make it high priority, also I introduce typeClassMatches make it get higher priority than genericMatches, inside typeRel isGeneric used in many cases, even it can infered more accurate type, so I make genericMatches increment 2, higher than checkGenericConstraint.

[bung87]

have to introduce genericConstrainMatches, use genericMatches in checkGenericConstraint will make has generic constraint higher priority, it will proven fails to proc $*[T](self: Option[T]): string. which has no generic constraint but has generic instance type

[bung87]

maybe I should handle in typeRel directly, so that can reject generic match