a closure is like this: tag: tclos value: pointer into the heap and in the heap we have: [label][env length][env0][env1]...
