Ideal_type