Church encoding — AI Alignment Forum