Streaming Validation of Schemata: the Lazy Typing Discipline