New runtimize optimization: mix(a,a,x) -> a  (even if none are constant!)

Lines 1427-1428 is the key. The rest is just comment enhancement.