Shared Session Types

This section contains draft definitions of all shared Ferrite constructs. Detailed explanation will be added at a later time.