It would be nice if that information were available in later stages, without having to take notes.
I'd like to see the ability to "unbundle" the composite components. Maybe an intermediate pin in (say) the XOR or half-adder has exactly the signal you need to save a component in a later stage.
This
> it'd be useful to have a clear indication of exactly how many NANDs each gate uses
You learned that as part of your first section exercises.
At the end of the day everything is made of NAND gates. That’s what the first section teaches you.