Created Wednesday 19 November 2008
The main idea is to permit having upvalues in BLOCKs. That is, if a BLOCK lives longer than the scope it is enclosed into, the local variables used by the BLOCK would be moved to the heap so the BLOCK can continue to use them.
For those who want to avoid this (might loose performance when copying), a compiler flag could issue a warning for every construction it judges slow.