Add Process1Syntax.contramap