There is --- one can use:
```
add(mul(i3, s), mul(i6, t))
```
Currently the `*` and `+` operators are not overloaded, so that it is clear what exactly is happening. In the future, we might add some layer in C++ that implements these, but for now that's how it works. The nice natural syntax is then achieved in Python, which is better suited for it anyway.