Finished a first pass with working unique and inversion tactic tailored for type_uniq