* kernel/Kernel.tex.nw: comment, boolify, nilify, add comments, move things
around
syncweb