Improved pretty printing, fixed bug in "reverse", added new command
line option, minor renames of args in lib.lsp.