Refactor different swap semantics to unions #68
Description
When unions will be added to the language, we need to get away from different semantics on boolean vars
{{ message }}
When unions will be added to the language, we need to get away from different semantics on boolean vars