WyC: implemented more expression cases for the pretty printer.