ppx: Implement >>, -no-sequence and -no-strict-sequence switches.