absolute λ-conservativity (keyword)

types of item