Block structure

Not a real problem because Twobit

performs lambda lifting and closure conversion

allocates all non-local variables on the heap