WLS: made useful progress on the introductory descriptions of types and values in the Types Chater.