Don't require interval in integer variable ctor.
Extract value enumerators from variable classes.