Generalize dynamicConstantNames constants whose type cannot be widened by generalize() to mixed

Generalize dynamicConstantNames constants whose type cannot be widened by generalize() to mixed #504