A mathematical theory of evolution for self-designing AIs