TODO:

1. Implement num_traits::Float
2. Consider Mul<Expr<T,V>> for T
3. Order expressions in products so that constants propagate to the left, and variables are grouped together.
4. Add distributivity of multiplication over sums optimization