Session type in KDM...