Quasiquotation for ReWire types in pattern matching

[igraves]

Just like the title says.

Currently in the compiler source, we match against ReWire types in the following way:

Say you have ReT i o m (). Matching against this construction looks like this.

fun (RWCTyComp (RWCTyApp (RWCTyApp (RWCTyApp (RWCTyCon (TyConId "ReT")) i) o) m)) (TyConID "()") = 

Note the above bindings and how they correspond to the type signature. We can use this binding pattern to quasiquote over concrete types for something like:

fun [rwp|ReT i o m ()] = 

Where rwp above is the ReWire pattern quasiquoter for ReWIre types.

This could certainly shorten up a lot of code in the compiler and make it more legible.