Factored out old tabled aggregate stuff as it is (mostly if not completely) overridden by the new answer subsumption format.
Authored by: tswift 2010-07-29
Parent: [r6685]
Child: [r6687]
