Tetcore core types around sessions.

License: Apache-2.0