[SAOC 2025] Separate Semantic Routines from AST Nodes Weekly Update #14

[Mohamed El Shorbagy]

# Summary of Progress (Dec. 15 - Dec. 22)

This week, I broke the semantic dependency on `Type.nextOf` and 
moved it to `typesem`. I faced some challenges while doing that 
-- one of them was moving `nextOf` out of the `FuncDeclaration` 
constructor. I did not realize that the passed type parameter is 
just `TypeFunction`, which drove me to try a not so clean 
approach. Luckily, I noticed that and I submitted a 4- or 5-line 
change [PR](https://github.com/dlang/dmd/pull/22250). Here is the 
list of the PRs I submitted during that week:

- https://github.com/dlang/dmd/pull/22250
- https://github.com/dlang/dmd/pull/22252
- https://github.com/dlang/dmd/pull/22253
- https://github.com/dlang/dmd/pull/22255
- https://github.com/dlang/dmd/pull/22256
- https://github.com/dlang/dmd/pull/22258
- https://github.com/dlang/dmd/pull/22277
- https://github.com/dlang/dmd/pull/22279
- https://github.com/dlang/dmd/pull/22280

At this point, I could say we are getting very close to a free 
`mtype`.