Difficulty classes for alignment properties — AI Alignment Forum