reorganize

new file Ktheory/Equivalences.v