Change concrete syntax: unr |-> rec, roll |-> corec
Change CP internals to use rec and corec instead of unroll and roll