errors found and workarounds on oct 3.6
taylor: better comments and error for multivar taylor
return scalar sympy S.true S.false to bools.

issue #27 (part of?).  if they are in a matrix we leave them as sym
less than, etc inequalitiea