Describir: Theory of randomized search heuristics