Refactor chap4

Since we now have a quite large number of keywords, create an index for it.

With this table, it's preferred that the current order of keyword subsections keep unchanged (to save the effort to modify links), but the order of table elements can be free to be changed.