added documentation to transaction.lisp