Commit 2021-05-22 06:50 b29d40c6

fix(algebra): change local transparency to semireducible (#7687)

• When a type is [irreducible] it should locally be made [semireducible] and (almost) never [reducible].
• If it is made [reducible], type-class inference will unfold this definition, and will apply instances that would not type-check when the definition is [irreducible]