improved Display method for abstract matroids
LIMatroids: added several implications, mostly for dual matroids
logic: one more implication for dual matroids