You wanted to make a quantale out of principal reloids. To make it one need to restrict suprema and infima only to principal reloids. The resulting quantale is isomorphic to the quantale of binary relation, so it is effectively nothing new.