refactor: remove duplicate type classes in Iris/Std/Classes.lean and reuse definitions from core libraries

refactor: remove duplicate type classes in Iris/Std/Classes.lean and reuse definitions from core libraries #2017