Constant: rename constants.
Constant: rename Int -> Integer