SquareMatrixPredicate has been implemented

Hey.

I've just implemented a predicate which checks whether an arbitrary matrix is square by its form.

Best regards.