Change the printing of reduction types

  We use the C operator representation when applicable.

  + Update all the test cases accordingly.