Make Process0Syntax#toStream lazy