[CL] Annex B.4 posted

[John F. Sowa]

I have posted Section B.4 as a .doc file:

   http://www.jfsowa.com/cg/annexb4.doc

This is the section on conformance, which shows how any expression
in CL can be translated to an expression in extended CGIF.

Section B.2 defines the semantics of core CGIF by a translation
to the CL abstract syntax.  Section B.3 defines the semantics of
extended CGIF by a translation to core CGIF.  And Section B.4
demonstrates full coverage by showing that any CL expression
can be translated to extended CGIF.

I am also adding a few words about modules to the section on
Text in both B.2 and B.3.  I'll post that shortly.

John Sowa