Handle 'Infer T' inside template literal types

[codecov-commenter]

Codecov Report

Attention: Patch coverage is 85.71429% with 2 lines in your changes missing coverage. Please review.

Project coverage is 83.75%. Comparing base (ea2b19b) to head (c357b83). Report is 1 commits behind head on main.

Files	Patch %	Lines
src/Escalier.TypeChecker/Unify.fs	85.71%	2 Missing :warning:

Additional details and impacted files

```diff @@ Coverage Diff @@ ## main #346 +/- ## ======================================= Coverage 83.74% 83.75% ======================================= Files 22 22 Lines 12143 12156 +13 Branches 1732 1733 +1 ======================================= + Hits 10169 10181 +12 - Misses 1974 1975 +1 ```

:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.