«where» clauses on contextually generic declarations

Not sure about the holy grail, but certainly an important step. The several *Manifesto documents in the docs folder will give you a general overview on the roadmap. I am just a contributor myself, so there's hardly anything more exhaustive I can offer.


Regarding the compiler, you may want to search for relevant topics in the compiler category. Here's one.