Pošalji tekstualnu poruku: Intersection types and higer-order model checking