13-CopatternsEval: sized corecursive evaluator.