Extending TopLevel to TopLevel19
We should be careful about statistics for mutable operations. Allocating a mutable object does not count as a mutable operation itself.
For preventing references without val-def counterpart (for example, if a symbol is never referenced, but is the output of a top-level), we should print the definition in places, if quote on a non-referenced symbol (which has been survived from DCE) is demanded.