optimization for code that reuses variables
- one-ref-same-type variable sets now avoid allocations by modifying dest.var.