#type theory #base class #parent class #object oriented #generalization #top type