Adding support for controlling availability of session types