Bug fix for stripping type annotations during metaprogram analysis. Added warning in typechecker when constructing QTCollections with no annotations.
Merge branch 'master' of github.com:DaMSL/K3-Core