First draft of restructuring of type system to accommodate extensible records.
Fixed a bug relating to the decision of annotation types.
Merge branch 'master' of https://github.com/DaMSL/K3-Core