Email Record: Type-logical semantics /