Triangulated generators

Generic results about Mathlib's triangulated-envelope tower, including composition and exact-functor transport, and strong and classical generators.