More optimizations

This PR will grow with new commits. I'll push commits one by one to have CI run.
Because, by construction, `arg` was already folded. Changing the direction of the operator cannot bring any more opportunities for folding.