All Linear-Time Congruences for Familiar Operators (Logical Methods in Computer Science, 2013)