Minor documentation tweaks.
Remove stale TODO, as it was fixed earlier.
Arithmetic lowering: improve regalloc by adding another preference.