3.7.12.1 - Added a bunch of zipper experiments. - Existing clients should not be affected. 3.7.12.0 - More expressive debugging support - retract arfGraph and normalization; export analyzeAndRewriterFwd' 3.7.11.1 - Expose arfGraph and normalization functions 3.7.11.0 - Debugging support 3.7.8.0 - Rationalized AGraph splicing functions. 3.7.7.0 - Restrict clients so they see much less, including hiding the value constructors for Body.