Added Inference and InferenceTest classes; Should store inference rules and take in Expressions;