Denotational Semantics Transform from Continuation to Direct

• 接续到直接的指称语义转换