April 25

https://github.com/Bolpat/DIPs/blob/a872d3b5602a45d1767d5acb962ba24becaa26ce/DIPs/DIP-2NNN-QFS.md

Abstract
The goal of this proposal is that every type construction expressible by D’s type system also has a representation as a sequence of D tokens. The type constructs that lack this are function pointer and delegate types that return by reference and/or have a non-trivial linkage.

April 28
It took me a couple of days but I did get the essence of what the grammar changes allow.

Although I am unconvinced that the current write up reflects the changes in an explainable way.

I do like that what you are trying to do is make function and delegate pointers being able to be declared in line to a type fully.
This is an issue that I certainly think that needs solving.