[0008] Finish detailed design - Non-member operator overloading

**Which proposal does this relate to?**
[Non-member operator overloading](https://github.com/microsoft/hlsl-specs/blob/main/proposals/0008-non-member-operator-overloading.md)

**Describe the issue or outstanding question.**
Finish detailed design with draft specification language.

