Basic shape of the C-E-K-style evaluator