The definition of "free will" in this proof is not the same as the one being discussed here. The kind of "free will" that Conway's proof talks about could be exercised by an automated device that randomly chose measurement settings based on some unpredictable quantum event.