Also, make existing Constants models of IntegralConstant. This fixes #132 by making the definition of a model of Constant reasonably easy for IntegralConstants.