Add interface to directly change the steps of a proof (#36)

Add interface to directly change the steps of a proof (#36) #125