julia

9368bad3 - simplify and improve type intersection algorithm a bit

simplify and improve type intersection algorithm a bit This removes some code and makes a class of results more conservative, fixing some potential cases of unsoundness.