Refine and update the RFC

With associated items, where clauses and multidispatch, a couple of things have
changed. It is necessary to reflect this in the RFC. Furthermore the details
are fleshed out a bit more in this revision.