Objects essentially extend specified types; Formal types and Universes to do this