Final? improvements to TypedPipe