Introduced designated sign and single out operators. Using the prcedence map prec to check if the evalstate has to be pushed.