Introduced private type for terms.