Added annotation decl constructor, and fixed role identifiers
Added source/sink/trigger type constructors
Added annotation declaration, role identifier, and derivations for declaration annotations
More work on the parser. This now hooks into AST constructors.
Merge branch 'master' of github.com:DaMSL/K3-Core