Cleaned up warnings for recent refactoring
Added initial draft of pattern matching and rewriting for control annotations during metaprogram evaluation. Added entry points fin the parser.