Added tooling to allow polymorphic signatures.  (No parsing for the syntax yet.)
Code adjustments to support polymorphic type signatures for top level declarations.  (Annotations do not yet support this behavior.)
Added negative unit test for top-level polymorphism.
First draft of type parametricity for annotation members.
Added unit test
Added unit test for overly polymorphic annotation signatures.
Added unit test for member scoping.
Added unit test revealing annotation polymorphism bug.
Merge branch 'master' of https://github.com/DaMSL/K3-Core
Implemented fix to annotation member polymorphism bug.
Modified ConcatConstr to be more permissive as per spec change.
Merge branch 'master' of https://github.com/DaMSL/K3-Core