Proof Theory of Past, Present, and Future