Enumerations should not be usable with "<=", ">="

[tkutz]

After implementing #677, enumerators are mapped to their literal value which makes them usable with functions like "<", ">", "+=", etc.

This should be prohibited during modeling time (e.g. in type inferrer).

[rherrmannr]

can still be reproduced