Adding deoring capabilities.
Adding structure unification and fixing a bug with grounded rules.