split: possible generalizations
-
we don't support tuples at all, but we should -
we don't split the operators that do support distributivity laws, such as &
, but maybe we should -
maybe we should offer a means to enable/disable these cases
&
, but maybe we should