Update D0567r1 based on feedback.
Update D0567r1 based on feedback.

* Fixes for typos and formatting.
* Add new traits for querying an executors capabilities.
* Add missing references.
* Improve description of data-flow models requirement.
* Rename `global_allocator_type` to `executor_allocator_type`.

codeplaysoftware/standards-proposals