sessio  type equivalence, naming space