TBoS p.124, SD
The eval function receives an expression e and returns the normal form e* of the expression eb, where eb results from e by replacing all square brackets by round ones.
(eval [+ 1 2])
(eval [define car [cons X Y] -> X])
(car [1 2])