semantic: First pass at swapping labelled arguments.