PR !4#11415: chore(Init/Logic): remove `Commutative` and ...

Stream: triage

[Random Issue Bot]

Today I chose PR 11415 for discussion!

chore(Init/Logic): remove Commutative and Associative in favour of core declarations Std.Commutative and Std.Associative
Created by @Jon Eugster (@joneugster) on 2024-03-15
Labels: WIP, merge-conflict, t-logic

Is this PR still relevant? Any recent updates? Anyone making progress?