Imported remaining documentation comments for lib.fs from hol-light reference manual.