feature: made OrderBook instance of non-commutative monoid
feature: OrderBook: inserting Nothing isn't regarded as error anymore