slembcke Make dbg.pretty() overloadable.