Add syntactic sugar to easily get the current implicit Magma.
An implicit magma whose op operator corresponds to the upper bound of a directed partial ordering.
An implicit conversion from A
to Magma[A].Ops
, which allows the seamsless
use of the |+|
operator.