First draft of code to fix polymorphism bug.  Not yet working.
Merge branch 'master' of https://github.com/DaMSL/K3-Core
Patched up some broken annotation constraint code related to the polymorphic invariance bug.  This bug appears to be fixed, although more unit tests are necessary.
Added a unit test for success on polymorphic member invariance.