Directly add/check facts

[asvarga-sedaro]

What is the recommended way to directly add or check facts in tables via the Rust API? I can use EGraph::{function_to_dag, lookup_function} to check exact facts like (R x y), but is there a way to perform more general queries like (R x _) without going through EGraph::run_program?

[oflatt]

Working on some sugar for that now actually! It'll just define a rule and add the results to a table