Is it possible to solve integrals with symbolic parameters in them, e.g. Int(ax dx). If so, it would be nice to advertise that in the documentation.