Add Neg-Traits for other types

[jnsiemer]

Description

This PR implements...

• Neg-Trait

all reasonable types (excluding NTT and Moduli types).

Testing

• I added basic working examples (possibly in doc-comment)
• I added tests for large (pointer representation) values
• I triggered all possible errors in my test in every possible way
• I included tests for all reasonable edge cases

Checklist:

• I have performed a self-review of my own code
  • The code provides good readability and maintainability s.t. it fulfills best practices like talking code, modularity, ...
    • The chosen implementation is not more complex than it has to be
  • My code should work as intended and no side effects occur (e.g. memory leaks)
  • The doc comments fit our style guide