Trying nat-indexed stackunroll next.
Less relevant technical bits removed for space.
Merging the removal of transitive summaries paragraph.