(Only for feedback) +str #15977 Rename and change types in the new DSL

There are still a lot of TODOs here (especcially documentation), but I would like som feedback on what has been done.

* Clean up type signatures
* Chang names of Source/Sink/ProcessorFlow to Faucet/Drain/Pipe
* Introduce new Source/Sink/Flow
* Make all Pipe types package private
* Change the TypeGraph DSL to work on Flow/Sink/Source
Drain has type parameter `Out`, but this one has `In`. Confusing?
Does SinkDrain have to be public?
Do we need the self type, or would it be easier with `extends Sink with Drain`?