Created containers for session types

This commit actually addresses multiple issues. The main of which
only happens to be creating container types for sessions (issue #44).
It also addresses issue #38 by ensuring that sessions are properly
validated against their signatures.