A smart R7RS interpreter