All definitions should be properly enveloped in {defn} sections

[nathantypanski]

Keeping definitions separate enables proper labeling and formatting of all definitions at some point in the future. We could get rid of the labeling if it looks cumbersome (it does), but it is quite handy to get that kind of mass-control over their formatting.