failing attempt to translate new_specification

switch to pure first_dup instead of the stateful check_all_distinct, but
it still doesn't translate