Complete the RecSummaryMaker and add corresponding functors

This reverts merge request !3508 (merged)

Previous attempt to merge this had to be reverted as I discussed, after merging it, Moore!2141 (closed) has merge conflicts against master, which have to be addressed before both can be merged.

Merged into relevant branch of !3423 (merged)