leader: change world's name, default prefix to "_"
inst: make `view` prettier

use pprint.pformat