Fix some ref typos
Add a notation subsection for structs