Replace variables with arbitrary statements in theorem application
Add theorem application step
Add apply theorem method to proof updater
Remove tests for uncaught statement parse exceptions
Merge branch 'master' into applytheorem
Move common mock repositories in controller tests to base class
Merge branch 'master' into applytheorem
Add apply theorem action to draft proof controller