Add <dfn>s for all the well-known symbols (and make sure they link)

[domenic]

Similarly do what we did for %intrinsics%, we should do the same for @@wellKnownSymbols.