update examples to use LiveSpecs v0.3.1