Initial mechanism for computing the conjoined class invariant.
Initial introduction of stitch points to POs.
Clone additional expressions in onetype() to cope with concurrent modifications.