Provide extensive traversors in env v3
The protocol environment v2 uses a compatibility layer to restore vanilla traversors for Map/Set/etc. In addition, it doesn't provide the more recent feature of lwtreslib. Env v3 should export recent feature and remove compatibility layers.