A new proposal has been announced #277. It will be brought up at the next meeting.
The state of my understanding is:
The current monolithic query plumbing does not need to be in librustc_middle.
The list of all queries and their key types is required to define the DepKinds and DepNodes.
I don't know how to remove the use of the DepGraph by TyCtxt.