AI ontology crises: an informal typology — LessWrong