Annotations

We currently store annotations on high level layers. We'll probably want to do the same thing with Exprs now. Some complications:

1. We often recreate Exprs and will need to make sure that we propagate these annotations
2. Things like rewrite rules will need to be sensitive to annotations (probably not optimize by default)

I don't plan to think about this too much until other questions are answered. This doesn't seem as critical.