Streaming type checker