added a note that indicates that many unit tests come from Hol Light Reference Manual
added unit tests