Further tweaks to LimitedAccuracy lattice operations (#48126)
As discussed in #48045:
1. Switch the order of `causes` inclusion to make wider
elements have fewer causes.
2. Fix two typos
3. Restore property that equal ulimited types will be
preserved (though with potentially updated `causes` lists).
