Type alias SignedSelectiveAtom