Bugfix: TypedSymbol.is_negative should not be implemented in terms of

super().is_positive

This can lead to surprising simplifications
6 jobs for bug-is-negative in 4 minutes and 54 seconds (queued for 29 seconds)