Function parse_tagged_pred 

fn parse_tagged_pred(
    sexp: &Sexp,
) -> Result<Constraint<ParsingTypes>, ParseError>