Allow implicit multiplication in proust.py