revise docstrings in piety, console, and terminal