WyC: bug fix for parsing additive expressions.
WyC: bug fix for parsing additive expressions.

hjwylde/whiley-compiler,hjwylde/whiley-compiler,hjwylde/whiley-compiler,hjwylde/whiley-compiler,Whiley/WhileyCompiler,hjwylde/whiley-compiler