math: remove some term type that were once used in a test.
base_term: add for consistency the serialization capabilities to the term types implemented in the tests.