Nr. 32 (2000): RS-32 The Meaning of Types From Intrinsic to Extrinsic Semantics