pub fn bind_global_variable_types( expr: &Expr, type_pecs: &Vec<GlobalVariableTypeSpec>, ) -> Result<Expr, RibCompilationError>