Davide Ancona, Pietro Barbieri, Elena Zucca: Enhancing Expressivity of Checked Corecursive Streams. FLOPS 2022: 1-18