This function is called from within call_table
if the formal parameter is just an ordinary variable. How should the binding proceed?
Easy: just (recursively) evaluate the actual argument and bind it to the formal
argument in the dictionary. That's all. This is just normal call-by-value parameter
passing.