At this point, you know pretty much everything there is to know about using Flamingo. The best way to get the hang of it is to read the rest of the TodoMVC code on Repl.it. Note that the files are numbered to suggest a reading order.
In the near future, I'll publish another Repl that extends TodoMVC with a new requirement: adding dependencies between todos. This will show off ALM's powerful graph-reasoning capabilities.