Pure names on public channels with session and generic

[VincentCheval]

Pure names are currently only used for:

• Determinate processes
• Session equivalence when there is no private channel

We could improve the second one by checking whether the pure name was output on public channel. That would make it a less black/white optimization

We could also add the feature for generic equivalence (with the same restriction on public channel).