Finished documentation header for pi.lisp, tested it and it works perfectly