Session handling

These are the records used by the session manager.

The session manager is implemented in the NY_Session2PlugIn plugin.
For the plugin there is an API library called NY_Session2API.