Add careful refs for definitions in `OtherDefs` files

[peterlefanulumsdaine]

Make sure each definition of a structure is carefully referenced — citation to somewhere giving that precise form of the definition, where possible.