contraMap and andThen on TypedSink/TypedSource

closes #884 
closes #885 
I didn't realize there was something else we have already pushed that we're being consistent with. Grudgingly, let's keep it as `contraMap` here too.