Some principles for object-oriented type design