make symbol evidence work again

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