Add pattern matching

Pattern matching on inputs will allow fun stuff like writing homomorphisms later on. For example:
```
#insert($ h(x + y i) := x - 4 y i $)
```
When we eventually incorporate more advanced structures, like, say, quaternions, this'll become much more useful.