New syntax for the description of process hitting

processHitting.ph2

(*
New syntax, easier to read and to parse

Process definitions are optional (they can be inferred)

condition : bounce (params)

where
condition is a set of basic_conditions bound by "and" and "or" operators.
basic_condition can be of type (sortname comparisonOerator processNumber) or (sortname) which is a shortcut for (sortname>0)
and can be negated with "!"
comparisonOperator is one of ">", "=", "!="

bounce is defined by : (sortName processNbr -> processNbr) or (sign sortName)
where sign is "+" or "-"

params is a list of: paramName=paramValue
paramName is "rate" or "absorption"
*)

a=1 : +b                              # Replaces a 1 -> b 0 1
a=1 : b 2->3 (rate=4.5, absorption=6) # Replaces a 1 -> b 2 3 @ 4.5 ~ 6
(a and !b) or (b and !a)  : +c        # Replaces COOPERATIVITY([a;b] -> c 0 1, [[1;0];[0;1]])
a : -b # Replaces GRN([a 1 -> - b])