Creating Session Types