Support all progression orders

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