Update toc.md

Author: nicolasstucki

docs/docs/reference/metaprogramming/toc.md

@@ -33,10 +33,8 @@ introduce the following fundamental facilities:
 
 4. [Quote Reflection](./quote-reflection.md) Quotations are a "black-box"
    representation of code. They can be parameterized and composed using
-   splices, but their structure cannot be analyzed from the outside. TASTy
-   reflection gives a way to analyze code structure by partly revealing the representation type of a piece of code in a standard API. The representation
-   type is a form of typed abstract syntax tree, which gives rise to the `TASTy`
-   moniker.
+   splices, but their structure cannot be analyzed from the outside. Quote
+   reflection gives a way to analyze code structure by partly revealing the representation type of a piece of code in a standard API. 
 
 5. [TASTy Inspection](./tasty-inspect.md) Typed abstract syntax trees are serialized
    in a custom compressed binary format stored in `.tasty` files. TASTy inspection allows