definitions, examples, and exercises now receive enumeration and anchors; cross references behave as expected