Striving for concise syntax for mathematical operations is a noble intention, but it's hardly a good idea achieve that by shoehorning changes into an existing language.

A language framework designed for extensibility has to be the basis allowing for the implementation of concepts such as differential or probabilistic programming, and it's not Haskell, i.e. we're not there yet.