Predicates as label types and values with nice syntax