remove 'wf' alias for the standard 'well_founded'

I could not find a single use of this alias outside of std++ itself, so the potential for confusion caused by having two different names for the same thing far outweighs the benefit of occasionally saving 9 keystrokes.