Semantics: variant 5 - half-way to the "real" Reduceron