big update of Conv, with universal sources and sinks
and GADTs for describing other sources and sinks