Now implements +, including generic arithmetic infrastructure.