Implemented inclusion operator in Integer domains (among with unit tests).