Added prettyprint and redid documentation