Prolegomena to any theory of proof simplicity