Add abstractmethod _differential_operator_monomial to FormalQexp.
[fix] Fix __mul__ method.