pub fn compile(
  expr: ast.Expression,
) -> fn(dict.Dict(String, fact.Value)) -> Bool