Function sexp_to_constraint 

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