Add finite types and inclusions of types