Tagged types

Ada's type mechanism in which types can be extended via single inheritance.