Update to Johan's latest semantics + script file version.
Experimental semantics from Johan Martensson.