Objects and Type Systems