Numeral constants can be negative in Lustre input

Numerals are always positive, negative numerals have a unary minus
applied to their absolute values. Allow negative numerals as constants
in Lustre input.