Deakstadieđáhus: Ordered groups and infinite permutation groups