reorganize ex 1.6.16 into correct example and WYSS subsections
reorganize ex 1.6.16 into correct example and WYSS subsections

LispTO/llthw,tang-junjie/llthw,tang-junjie/llthw,LispTO/llthw,LispTO/llthw,tang-junjie/llthw