Deal with variable bindings/alpha renaming in searches And with restrictions
Deals with how the query is mapped to the result