-x-y => -(x+y) rule checks that x,y are numbers

fixes #284