adding cal compiler
adding corecursion exercises