Add apply theorem action to draft proof controller
Add migration for theorem application step