WYCS: making some progress.  Need to implement a bunch of the missing things now ...