added fallback methods for coloop and loop, fixed logical implication for uniform matroids