make symbol evidence work again

@lileicc 

Ready for review. I'm not sure if this is the best way to do it. I'm using the old `ImplicitSetSpec`.

`example/aircraft-static.blog` runs now, and produces the same results as `blog-0.8`.