assign intersection types. need 2 projection lemmas
projection lemmas. all passes