refs #493: sections within rule/statement abd rule/proof now convert
Merge branch 'icket493' into testing