WyC: various little fixes for pretty printing of switch statemnts and unicode characters.  #174