Copy grammar changes into the summary.

Author: amartini51

TSPL.docc/ReferenceManual/SummaryOfTheGrammar.md

@@ -575,6 +575,8 @@ make the same change here also.
 >
 > *primary-expression* → *wildcard-expression*
 >
+> *primary-expression* → *macro-expansion-expression*
+>
 > *primary-expression* → *key-path-expression*
 >
 > *primary-expression* → *selector-expression*
@@ -587,10 +589,6 @@ make the same change here also.
 >
 > *literal-expression* → *array-literal* | *dictionary-literal* | *playground-literal*
 >
-> *literal-expression* → **`#file`** | **`#fileID`** | **`#filePath`**
->
-> *literal-expression* → **`#line`** | **`#column`** | **`#function`** | **`#dsohandle`**
->
 >
 >
 > *array-literal* → **`[`** *array-literal-items*_?_ **`]`**
@@ -697,6 +695,10 @@ make the same change here also.
 >
 > *wildcard-expression* → **`_`**
 
+> Grammar of a macro-expansion expression:
+>
+> *macro-expansion-expression* → **`#`** *identifier* *generic-argument-clause*_?_ *function-call-argument-clause*_?_ *trailing-closures*_?_
+
 > Grammar of a key-path expression:
 >
 > *key-path-expression* → **`\`** *type*_?_ **`.`** *key-path-components*
@@ -1063,16 +1065,6 @@ make the same change here also.
 >
 > *file-path* → *static-string-literal*
 
-> Grammar of a compile-time diagnostic statement:
->
-> *diagnostic-statement* → **`#error`** **`(`** *diagnostic-message* **`)`**
->
-> *diagnostic-statement* → **`#warning`** **`(`** *diagnostic-message* **`)`**
->
->
->
-> *diagnostic-message* → *static-string-literal*
-
 > Grammar of an availability condition:
 >
 > *availability-condition* → **`#available`** **`(`** *availability-arguments* **`)`**
@@ -1449,6 +1441,18 @@ make the same change here also.
 >
 > *subscript-result* → **`->`** *attributes*_?_ *type*
 
+> Grammar of a macro declaration:
+>
+> *macro-declaration* → *macro-head* *identifier* *generic-parameter-clause*_?_ *macro-signature* *macro-definition*_?_ *generic-where-clause*
+>
+> *macro-head* → *attributes*_?_ *declaration-modifiers*_?_ **`macro`** 
+>
+> *macro-signature* → *parameter-clause* *macro-function-signature-result*_?_
+>
+> *macro-function-signature-result* → **`->`** *type*
+>
+> *macro-definition* → **`=`** *expression*
+
 > Grammar of an operator declaration:
 >
 > *operator-declaration* → *prefix-operator-declaration* | *postfix-operator-declaration* | *infix-operator-declaration*