WYCS: initial pretty printing is now working.