Comments on generated session slots

[jklmnn]

The slots of a session are generated into the session allocator. It's not directly visible which slot is generated for which variable in the spec. Knowing this may be helpful when debugging/analyzing the memory usage of the session.
For global variables each slot could have a comment with the global variable name. For state local variables it could be a list of states with the variable name for each state in a comment.