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)