Member predicate TypeTracker :: append
Gets the summary resulting from appending step
to this type-tracking summary.
TypeTracker
append
(
StepSummary
step
)