contraMap and andThen on TypedSink/TypedSource

closes #884 
closes #885 
http://hackage.haskell.org/package/contravariant-0.1.2.1/docs/Data-Functor-Contravariant.html