Sound and complete flow typing with unions, intersections and negations [pdf]