WyC: bug fix for parsing additive expressions (more to come there though).