Support all progression orders

Add support for all progression orders not supported yet: RPCL, CPRL,
PCRL.
Why not just `return` here, instead of assigning to a variable first!?