Member predicate TypeTracker::append

Gets the summary resulting from appending step to this type-tracking summary.