Rename rules to no longer mention chronos

[TheoWinterhalter]

Maybe rules and tactics should not be called synchronous and asynchronous but perhaps be one-sided or two-sided or left- and right-biased. ssprove_sync could also become ssprove_cong.