Support all progression orders

Add support for all progression orders not supported yet: RPCL, CPRL,
PCRL.
nit: unindent by 2 spaces