Update for changes in the IR. The ConstantIntegral, ConstantBool, and