Semantics: switch to a less intrusive version notation