/// Additive order representative with optional runtime context.
///
/// This operation must return a value of the desired type
/// corresponding to a representative of the additive
/// order of the input type, optionally
/// taking an extra parameter that describes the
/// underlying algebraic structure at runtime.