Phonologization of redundant contrasts and the Contrastivist Hypothesis