Ground evaluator upgrades for codatatypes