4 types of AGI selection, and how to constrain them — LessWrong