WYCS: ok, type propagation is now working but not yet doing anything useful.  I need to figure out a few issues before it can be useful ...