On Sat, Nov 23, 2013 at 02:18:56PM -0800, Andrew Barnert wrote: > So, in the interests of having something to debate, here's an attempt > at a concrete, implementable syntax and semantics Thank you! -- Steven