Added IsInt and IsLong.
Introduced IntValue, LongValue, and IntegerValue as refinement of
IntegralValue.