exhaustiveness-checking

A fan-written deep dive into Gleam's case exhaustiveness checking, exploring compiler-core/src/exhaustiveness.rs and tracing the pattern-matching compilation theory back to Lennart Augustsson's 1984 "Compiling Pattern Matching" paper.