use operator for __ builtin operations on backend objects instead of our homegrown solution
use operator for __ builtin operations on backend objects instead of our homegrown solution

angr/claripy,chubbymaggie/claripy