Executes the reduction machine until it generates a terminating transition

We define a high-level macro, transforms. It takes a do-block containing a list of a -> b expressions (just like cond or case)