Adding Preds and Pred types for some bool logic