- move from quasiquoted lists to prefab structs
 - enforce user-mode restrictions? (Is this still relevant?)
 - add contracts on structs used as message types e.g. to catch such
   as #(192 203 230 10) being used instead of (udp-address
   "192.203.230.10" 53).
 - some kind of join-ish construct to make e.g. cname-expansion
   prettier

os2:

 - remove the "convenience" form of transitions. This will permit
   unambiguous use of such horrors as the state of a process *being* a
   transition, and will also remove ambiguity from spawn in cases
   where the initial state of a process is to be a function.