Put term before binding variables in distinctness constraints (for now, just the simplest case).