fix symbol names
use char type for signs in formulae
add the information of binary operators in 'formula' rule
fix getting operator strings in operator rules