Rename contramap.