Update 6-ADTs.md

Added a link re. structural induction