disallow additional syntax

Author: ArielG-NV

proposals/031-coherent-pointer-operations-and-access.md

@@ -232,9 +232,11 @@ All pointers can be casted to each other. Casting must be explicit.
 The following keyword use is disallowed:
 * `globallycoherent T*`
 * `coherent T*`.
-* `const T*`, `T const*`, and `T* const`
+* `const T*` and `T* const`
 * `Ptr<const T>`, `Ptr<coherent T>`, and `Ptr<globallycoherent T>`
 
+
+
 ### Explicitly allowed keywords
 
 `const Ptr<int>` is permitted. This means that a `Ptr` is constant, the address the pointer is pointing at will not change.