Support all progression orders

Add support for all progression orders not supported yet: RPCL, CPRL,
PCRL.
Again, why not just `return` here?