"All data types and actions are referred to by their corresponding X Atoms." . . . .