When the output gets large, it becomes really hard to see where each step starts and ends. Maybe if every other evaluation step had alternating colors or something it would be easier to spot? Or we could add a "----------" divisor line when the output is multiline.. Or even cooler: we could assign a color to each part of the expression and keep that color throughout the evaluation steps so that it's easy to spot which part of the expression evolves to what!