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

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