Use of SymPy when available (instead of Symbolic classes)

[robclewley]

If SymPy is installed, it would be nice to provide a transparent way to use its symbolic object classes instead of those in the present Symbolic module. Maybe a thin wrapper to ensure one API for the user? There may be some Symbolic module features used that are not supported in SymPy, and this will need to be explored carefully.