refactor: remove type match section

src/SUMMARY.md

@@ -85,7 +85,6 @@
   - [Unchecked Casts](./unchecked-casts.md)
   - [Bugs and Unreachable Code](./bug-and-unreachable.md)
   - [Laziness](./laziness.md)
-  - [Type Match](./type-match.md)
   - [Purity Reflection](./purity-reflection.md)
   - [Type-Level Programming](./type-level-programming.md)
   - [Termination Checking](./termination-checking.md)

src/advanced-features.md

@@ -4,6 +4,5 @@ In this chapter, we discuss some advanced features of Flix, including:
 
 - [Checked Casts](./checked-casts.md) and [Unchecked Casts](./unchecked-casts.md)
 - [The `bug!` and `unreachable!` functions](./bug-and-unreachable.md)
-- [Type Match](./type-match.md)
 - [Purity Reflection](./purity-reflection.md)
 - [Termination Checking](./termination-checking.md)

src/glossary.md

@@ -56,9 +56,6 @@ Flix are type classes.
 ***Type Inference.*** A language feature that allows the compiler to infer the
 type of an expression without requiring annotations from the programmer. 
 
-***Type Match.*** A language feature that allows a function to inspect (reflect)
-on a type. 
-
 ***Type Member.*** See [associated type](#associated-type).
 
 ***Unchecked Cast.*** An unsafe cast which is not verified by the compiler. Can