This adds support for specification attributes on traits and their instantiation in impls.
We also properly export trait implementations in our interface files now.