Type Check: Match With

`match` ... `with` ... expressions need to be type checked to ensure each resulting functional expression is of the same type expression.

See the following:
```ocaml
match e with
f1 -> g1
| f2 -> g2
| f3 -> g3
```
In other words, `g1`, `g2`, and `g3` must all be of equivalent type expressions. They do not have to be the same constructor.

**Update (06/15/2021):** Should this be allowed to work when `g1` through `g3` are all constrained by the same typeclass, but not the same type?