Cleaned up type propagation.  Get propagation through interface types working.