Relating Typability and Expressiveness in Finite-Rank Intersection Type Systems (Extended Abstract)