new grammar: atoms and constants