Added mkExistsConst.