Added mkFreshConst.