plugged memory leaks, added InferenceRule.hpp. match & reomveBoundForms may be redundant with Equiv, consider moving to Justification.