Property Sets for Objects and Types