Author here, I'll try to answer questions/comments in this post!
In LoopErasedWalk example, the green color seems redundant, and rule 2 and 3 could be merged. Is there any reason why you use green color?
This is super cool! One quick suggestion; please add the term "Lindenmayer System" and/or "L-System" to your readme. You'll catch more of the right crowd if that term is searchable.
Not author, the term L-system is mentioned in the readme already.