Relational monoids, multirelations, and quantalic recognizers