Semantics: include version 4, Section 5.3 Speculative Evaluation of Primitive Redexes