Text.CSL.Eval
data EvalState