Update 6-structs.scrbl