Added documentation comments from the hol-light reference manual.