I am using DrScheme to write a Scheme interpreter. I define a Read Eval Print Loop and I am re-defining the eval procedure. This works fine in other scheme implementations l
It turns out there are options per each language and one of them is "Disallow redefinition of initial bindings" which can be unchecked.
You're probably using the "Pretty Big" language. Switch to "Module", and you can do it.