added numpy interface and tests for BoolMat and SparseBoolMat. Also updated monotonicity