Rework normalization so that it works recursively, since the types extracted from an impl are potentially in need of normalization.  This also lays groundwork for further cleanup in other areas by disconnecting normalization from the fulfillment context.