Simplification of TypeLift. Only one type proposal per predicate can be given by children.