clean up examples a little more; clarify which ones are supposed to be unsynthesizable
in testExamples, don't fail if we expected the spec to be unsynthesizable