pub fn cmp_lex_from_lam(a: &Lam, b: &Lam) -> Option<Sign>
Lexicographic compare of two interned points from their cached lambdas.