fix logic for dcEqIgnoreDistinct in sameType

[metagn]

fixes #22523

There were 2 problems with the code in sameType for dcEqIgnoreDistinct:

1. The code that skipped {tyDistinct, tyGenericInst} only ran if the given types had different kinds. This is fixed by always performing this skip.
2. The code block below that checks if tyGenericInsts have different values still ran for dcEqIgnoreDistinct since it checks if the given types are generic insts, not the skipped types (and also only the 1st given type). This is fixed by only invoking this block for dcEq; dcEqOrDistinctOf (which is unused) also skips the first given type. Arguably there is another issue here that skipGenericAlias only ever skips 1 type.

These combined fix the issue (T is GenericInst(V, 1, distinct int) and D[0] is GenericInst(D, 0, distinct int)).

#24037 shouldn't be a dependency but the diff follows it.

[github-actions]

Thanks for your hard work on this PR!
The lines below are statistics of the Nim compiler built from b0e6d28

Hint: mm: orc; opt: speed; options: -d:release
174576 lines; 8.079s; 654.496MiB peakmem