Nitpick: Reusing a name and shadowing and existing binding because the name is equivalent isn't "overloading". But I don't know if it should be called shadowing

Nitpick: Reusing a name and shadowing and existing binding because the name is equivalent isn't "overloading". But I don't know if it should be called shadowing either because there is no function scoping in effect... Hmm