Evaluating code from the sandbox

This function should eval forms coming out of the sandbox by getting their original definitions and binding them to the sandboxed code. Note that if there is a previous definition for a sandbox symbol, it will use that instead (so it won't redefine some functions that should be protected, like defun and while).