formatting
refactor traceback
make prettyerrors optional