Session types update