WyC: implemented more of the pretty printer. #174