アンカーによるリンクをもっと使えるようにする

「狭義の弱順序 (strict weak ordering) 」などの用語は各参照箇所で定義への
リンクがないとつらいなーと思ってリンクをつけてみようとしたんですが、
手元で andare による変換を試したところでうまくいかないところがいくつか
見つかったので、その修正です。