Modal Aspects of Object Types and Part-Whole Relations and the de re/de dicto Distinction