> meaning that the macro always literally expands to (+ x x)

Make that three bugs. The macro is called "double," but the numeric result is square.