Essentials of Ideal-Type Analysis