Many more improvements to specs, specHelper, and the demo app