Unlink erased docs

docs/docs/reference/features-classification.md

@@ -174,7 +174,6 @@ by itself a straightforward implementation of some simple macros and is at the s
 - [Quotes and Splices](metaprogramming/macros.md) provide a principled way to express macros and staging with a unified set of abstractions.
 - [Typeclass derivation](contextual/derivation.md) provides an in-language implementation of the `Gen` macro in Shapeless and other foundational libraries. The new implementation is more robust, efficient and easier to use than the macro.
 - [Implicit by-name parameters](contextual/implicit-by-name-parameters.md) provide a more robust in-language implementation of the `Lazy` macro in Shapeless.
-- [Erased Terms](metaprogramming/erased-terms.md) provide a general mechanism for compile-time-only computations.
 
 **Status: not yet settled**
 

docs/docs/reference/metaprogramming/toc.md

@@ -31,18 +31,14 @@ introduce the following fundamental facilities:
    stages. Consequently, this method generative programming is called "Multi-Stage Programming". Staging is built on the same foundations as macros. It uses
    quotes and splices, but leaves out `inline`.
 
-4. [Erased Terms](./erased-terms.md) Erased terms are used to enforce
-   guarantees about program constraints. As `erased` terms are guaranteed not to
-   be used in computations, they will not appear at the generated code.
-
-5. [TASTy Reflection](./tasty-reflect.md) Quotations are a "black-box"
+4. [TASTy Reflection](./tasty-reflect.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.
 
-6. [TASTy Inspection](./tasty-inspect.md) Typed abstract syntax trees are serialized
+5. [TASTy Inspection](./tasty-inspect.md) Typed abstract syntax trees are serialized
    in a custom compressed binary format in `.tasty` files. TASTy inspection allows
    to load these files and analyze their content's tree structure.
 

docs/docs/reference/overview.md

@@ -124,7 +124,6 @@ by itself a straightforward implementation of some simple macros and is at the s
 - [Quotes and Splices](metaprogramming/macros.md) provide a principled way to express macros and staging with a unified set of abstractions.
 - [Typeclass derivation](contextual/derivation.md) provides an in-language implementation of the `Gen` macro in Shapeless and other foundational libraries. The new implementation is more robust, efficient and easier to use than the macro.
 - [Implicit by-name parameters](contextual/implicit-by-name-parameters.md) provide a more robust in-language implementation of the `Lazy` macro in Shapeless.
-- [Erased Terms](metaprogramming/erased-terms.md) provide a general mechanism for compile-time-only computations.
 
 ## See Also
 

docs/sidebar.yml

@@ -77,8 +77,6 @@ sidebar:
               url: docs/reference/metaprogramming/macros.html
             - title: Staging
               url: docs/reference/metaprogramming/staging.html
-            - title: Erased Terms
-              url: docs/reference/metaprogramming/erased-terms.html
             - title: TASTy Reflection
               url: docs/reference/metaprogramming/tasty-reflect.html
             - title: TASTy Inspection