Fooled around with the "syntax" stuff from Agda.
Constant propagation example of showing how catch-all patterns are inconvenient to work with.