new representation for symbols, which hashconses constants
but not arithmetic literals