update ex. 1.1.2 with suggested edits from Rainer Joswig, plus some additional revisions and expansions on existing incomplete material
update ex. 1.1.2 with suggested edits from Rainer Joswig, plus some additional revisions and expansions on existing incomplete material

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