fixes #18983 #5282 #13008; recursive types casue infinite type

[ringabout]

fixes #18983 fixes #5282 fixes #13008

todo

• [x] tests

[github-actions[bot]]

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

Hint: mm: orc; threads: on; opt: speed; options: -d:release 163577 lines; 12.383s; 841.332MiB peakmem