Added antiderivative function.
Add new functions reduce_dim_by_subst and precompose_with_poly_path.
Add binary minus for polynomials and monomials.  Make a few operations more efficient.