History dependent semi_lex_compare/3

No use confusing things with variations; let’s focus on naish/2 as the prototypical predicate going forward.