Pipe typedef

Implementation

typedef Pipe = $Pipe;