definitions of literals and atoms, roadmap