pretty printer: provide default for stream, check size of full symbol
test: use new pretty printer
compiler: remove flattening pass