Tidy
Make TheoryApprovalsRule stream its results to the SourceOfApproval rather than collect them as strings in memory and do them as a lump at the end.