Prolegomena to a Theory of Fun — AI Alignment Forum