minor simplification enabled by quasiquotes

In my opinion, it's a bit easier to figure out what's going on with `mkTrans` inlined. With quasiquotes we can do this, so let's go for it.