Allow rectangular flows for variables

[etienneandre]

Allow variable flows to belong to intervals (instead of single rational constants), making automata belonging to the class of rectangular hybrid automata

E.g.:

flow{x' = 2..4, y' = 2, z' = -1..1}