WYCS: starting to make some sense of the type propagation phase.  Still a few things to figure out.