Basic — deprecated, use targeted import bundles instead

This file is a backward-compatibility redirect. Prefer:

• InfinitaryLogic.Core for syntax/semantics/Scott/Karp
• InfinitaryLogic.Countable for model existence and model theory
• InfinitaryLogic.Admissible for admissible fragments
• InfinitaryLogic.Descriptive for descriptive set theory
• InfinitaryLogic.All for everything