cancel-infer-from and cancel-infer-of can take expressions now.
Added user term cancel-focused-infer.
assert! returns the asserted term now.
Added functions for evaluating using local bindings.