## Pattern matching

Proof of concept for term-based patterns in pattern matching