Fixes/improvements to relational ordering translation.