Thank you for making this text better. It can be made even more accurate: neither integers nor strings or bool-vectors are actually compared recursively in a useful sense so we shouldn't claim that they are, and nowadays both byte-compiled and interpreted closures are compiled but we should note the usual intensionality problems when comparing functions.

Here is a proposed amendment.