Functor collections with Rec summary information

Work was started here: Analysis!1044 (closed)

Just needs copying to this package.