added string and number type in atomic factor
added grammar definition of term