[racket] redefining primitives?

Is it possible to redefine primitives, like +, and then provide them
to another module?

If so, can you also undefine primitives? Like if I wanted to make a
student language where + only accepted two arguments and the list
function was unavailable, how could I do that?

Todd