enumeration for atomic decomposition modes

In preparation for extra interfaces for reasoners