the Pipe half of the IPipe interface update

Now almost all uses of Pipe can be just IPipe