Add more sema checks

[ferranbt]

This PR adds the following Sema checks:

• Invalidates recursion calls.
• User-function arity
• Duplicate params
• Calling a non-callable
• Unknown type
• Shadowing

[codspeed-hq]

Merging this PR will not alter performance

✅ 74 untouched benchmarks

---

_{Comparing more-sema-checks (d81451b) with sema-missing-arg-check (6648788)}