* assert.texi, bucket.texi, client.texi, pred.texi, program.texi, validation.texi: New files. * design.texi: Extract text into above. * liza.texi: Add @menu references and @include each new file.