Implement construct for right-hand side copatterns

[tdidriksen]

Implement something akin to Hagino's merge-construct in Idris.

 fun iseq1() = merge head <= 1
                   & tail <= iseq1();