added the notion of compiled variables and atoms