Added a unit test for requiring schema attributes.
Fixed some bugs related to annotations.
Added a unit test relating to collection construction.
Redraft of type system to more correctly accommodate incremental self construction.  Unit tests still failing.
Added single-file type system testing.
Merge branch 'master' of https://github.com/DaMSL/K3-Core
Stylistic change.
Changed constraint sets to skip display of reflexive constraints.
Progress in debugging closure of record extensions.
Removed silly inconsistency check.
Fixed a typo.
Added logging and corrected a bug related to the positions of attributes in types.