Constraint programming for interpretation paragraph markers

This builds on top of #249, re-using the paragraph marker solver there in interpretations.

Code is now less harry, less special-casey, and more accurate -- this exercise has found ~ 10 incorrectly labeled paragraphs in E and Z's interpretations.