Remove symbol aliases of concrete operations

[schillic]

I find it inconsistent that ⊞ and \ are concrete while all other symbols use the lazy operations. Furthermore, \ is not a real alias for difference because you cannot pass additional (e.g., keyword) arguments to the function.