pub fn expr_structure(e: &Expr) -> Result<(), String>
Structural checks of compile phase b: scales in range.