Block structure

Not a real problem because our compiler

• performs lambda lifting and closure conversion
• allocates all non-local variables on the heap