A taxonomy of Oracle AIs — LessWrong