WyC: bug fix for parsing additive expressions.