Some debugging of Ranges. Added proxy methods to IntVariable.