initial inf implementation is working, there is no loop prevention and lemma inferences cannot be used in subsequent lemma proofs
Separated justification rules from Proof, put them all in the former BuiltInRules (now called ProofRules)
BuiltInRules files have been renamed to ProofRules