Imported more documentation comments from the hol-light Reference Manual.