Re-implement statefull mainloop as a foldl over messages

[ehrenmurdick]

depends on #71

• implement monoid instance native node, tree etc.
• change statefull mainloop to tailrec foldl of state, msg