The intermediate representation ("IR") that underlies Vex has
extensive technical documentation available.  Please mail
jseward@acm.org if you want a copy.