Finishing the type uniqueness proof