Partly refactored ProofStepStmt and DerivationStep