an issue may be that we need to add a new name to the pipe every time we add a trap. Renaming does not often come up, but see for instance merge. I think in the case of multiple traps on the same Pipe we are going to have name collisions (just a guess, though).