Support "Applied Constructor Types"

## Example

Under `modularity`, it should be possible to have a shorter way for writing precise types of class applications (for classes with `tracked` parameters)

For example, it should be possible to write the following code:

```Scala
import scala.language.experimental.modularity

class Box(tracked val v: Any)

val c: C(42) /* ≡ C { val v: 42 } */ = C(42)
```
