Towers of Hanoi with lazy streams and visualization with htdp2/universe