Added some new error messages:

 - when a method or constructor has a binding annotation, rather than its parameters

 - when a type has a scope annotation, but that scope is not bound

 - when a scope annotation is applied to an abstract type or interface

I suspect these will find lots of bugs!

git-svn-id: d779f126-a31b-0410-b53b-1d3aecad763e
17 files changed