Function is_valid_ident 

pub fn is_valid_ident(s: &str) -> bool

Check whether s is a valid OxiLean/Lean 4 identifier.

A valid identifier starts with a letter or _, followed by letters, digits, _, or '.