* Check combined intersection properties against target index signatures * Add tests * Accept new baselines * Less aggressive check for index signatures * Track intersection membership state for both source and target * Minor fixes