Revert "comments for SummarizableAbstraction"

This reverts commit 0b8c932a3148db790a0e508d1682733a1890c9c9.
Revert "first implementation of reduced summaries"

This reverts commit f161c0430a281cc1b7a9fa2bec3ac5423a4b3887.