add class ProofStep
add parentheses
redesign for deduction name