Cleaned loops more, expanded file header for main program, remove unnecessary files.
Redid links. Nearly finished links.
Finished links (as far as I can tell).
Realigned docs to line width of 100, made expand-rule-sequence work correctly,
rearranged rules for lesson1-1 to account for definiteness (but broke them in
the process; they need extra work later).