Fixed and tested predicates for the label annotations plus the annotations on types.