formalism for describing nonperturbative compactifications of Type IIB string theory via Calabi–Yau manifolds admitting elliptic fibrations