Simple type theory organizes objects into a hierarchy of types, classes, and classes of classes. It contrasts with ramified type…