WyC: added a bunch of TODO items.  Also, fixed up printing of convert expressions.