pub fn convertibility_score(e1: &Expr, e2: &Expr) -> f64
Compute a heuristic convertibility score between 0.0 and 1.0.