The following is a new conjecture:

If $f$ and $g$ are reloids, then
$g \circ f = \bigcup{}^{\mathsf{RLD}} \{G \circ F | F \in \mathrm{atoms}^{\mathsf{RLD}} f, G \in \mathrm{atoms}^{\mathsf{RLD}} g \}$.