Fixed unification for type selectors.  Updated extend unification to always rely on the compound selector unification.