Evaluate known expressions before MX starts

[Joachim Jansen]

Everything that can be calculated in advance should be calculated: all formulas/terms/set expressions etcetera with only two-valued symbols.

For example for XSB this is important, for stuff like {Q <- P(MIN[:T])}.

[Joachim Jansen]

Does this include transforming negative integers e.g. -1 from -(1) (applied function) to a domain term?

If so, this fixes issue #384

[Broes De Cat]

No, this is a way around #384, but not a fix. It should still not segfault in such case, e.g., when someone directly calls calcdefs.

[Bart Bogaerts]

implemented calculating arithmetic before mx

This is a partial fix only, see #534, should be done more completely, also taking the structure into account

→ <<cset e8a6d4980a6d>>

[Bart Bogaerts]

implemented calculating arithmetic before mx

This is a partial fix only, see #534, should be done more completely, also taking the structure into account

→ <<cset 62777f0b6932>>