Add toplevels, make prettyprinter better
Initial logging work