more examples (incl todomvc) and more specs