Support all progression orders

Add support for all progression orders not supported yet: RPCL, CPRL,
PCRL.
Nit: the indentation is incorrect here, please use spaces instead of tabs when indenting.