improve handling of unknown type arguments
detect member class instantation on broken intersection type