julia

simplify and improve type intersection algorithm a bit

#41795

Merged