GiNaC's symbols are interpreted as potentially complex-valued

GiNaC's symbols (in ginac constitutive laws and drive) are interpreted as potentially complex-valued. As such, symbolic derivatives can be unnecessarily complex and miss some possible simplifications (from a problem noted by Richard).