Types and features for object-oriented programming
