Reduce the overhead of opacity annotations

[xldenis]

Currently, assume that a function with no #[open] annotation has opacity #[open(self)], despite this, there are over a 190 specific usages of #[open(self)]. These should be investigated and a mechanism should be developed to make them unnecessary.

It seems like most of these occurrences have to do with traits so perhaps there is something to fix in that regard?