Revert "use the term 'symbol' instead of 'variable name'"

This reverts commit 29c3057eb5bc48996c5a4e6a99f4099f87a25212.