Added support for numeric effects with non-trivial operations.
Fixes to conditional preconditions and effects (ongoing).