Enforce conjunction signal temporal order

Currently, signal conjunctions like `a & b` do not have any temporal implication for the order in which the signals must arrive. This is a performance bottleneck - many specific states should only be considered if they have already acquired their specific signal(s), and not block processing of a more generic signal otherwise.