System F with intersection types