Add support for type projections in presentation compiler

[rochala]

Compiler version

3.4.2

Minimized code

After merging #19931, we've decided that this IDE feature is less important than significant compile time enhancements.
We've ignored 2 test for type projections.
This issue is here to track the progress of restoring those IDE features.

Moreover, we are not covering type projections at all in other interactive features such as hovers, completions ... meaning we should add more tests.

https://github.com/scala/scala3/pull/19931/files#diff-22def07cb0b927c7fb0488c16b7a98658e100b0c53716752db2bd66464ed902bR150-R170

Expectation

The tests should pass.