Add Check and Predicate types