Improve a*b syntax.

This gets 61.water working with the a*b result as a list of elements of
a single type. However, the product rule in 62.water is still not
working, so fixing that is up next.