I WTF'ed on this for a long time before I noticed that the docs for
"has" were sort-of contained in "hasv". Might as well give "has" its own.