Every theory, typed

The term constructors of every theory, one module each. Importing a single one, such as Cvc.Typed.Theory.Arith, compiles only that theory, and smt! then accepts only its notations.