Add newtype-case elimination.