Make add::eval(), mul::eval() work without compromise.