Your view, that "Darwinism" is insufficient to explain the appearance of all genetic variation, was also exactly the view of [M.-P. Schützenberger](https://en.wikipedia.org/wiki/Marcel-Paul_Sch%C3%BCtzenberger), one (along with Noam Chomsky) of the two founders of formal language theory as we know it today; his views are elaborated on in [this article (in French)](http://www-igm.univ-mlv.fr/~berstel/SiteSchutzenberger/Entretiens/LaRecherche/1996-2FaillesDarwinisme.pdf), although there are no formal mathematical arguments there. 

Schützenberger was very much **not** a creationist, and does not propose anything except for the fact that the current theory is insufficient. Unfortunately, his questioning of Darwinism (whether correct or not!) led to him being branded as a creationist and his ideas therefore rejected without further question, in spite of his vehement opposition to that idea.