More work on version-resilient type streaming.