is_integer_const
This mostly affects loop checks and the modulo_one lint. Tests were also updated where applicable.