A Semantics of Object Types