Module monotonicity_variants

Re-exports

• pub use super::Monotonicity::*;
• pub use super::MonotonicityDerivation::*;