Indeed I understand these concerns.
So the consensus seems to be that I may go ahead and attempt to implement this.
Other than the (let) and tail call optimization, I would like to know your thoughts about
adding something like $(expr ) to evaluate integer expressions and comparisons.