On the Wilson monoid of a pairwise balanced design