progress on replCorrect

now needs a stronger type_sound_inv_dup_ctors