Added logging.
Added annotation arity inconsistency unit test.
Identified a logging bug and worked around an existing instance that triggers it.
Corrected a comment.
Potential fix for logging deadlock in _debugI.
Improved equivalence unification simplifier.
Added simple test of self type.  Typechecking works but resulting type tree is undesirable.
Fixed a missing constraint in type decision that prevented accurate manifestation.  Caused an infinite loop in manifestation.
Fixed manifestation infinite loop.
Changed binop policy from ad-hoc polymorphism to bounded polymorphism.
Added unit tests.
Fixed manifestation.
Added some logging.
Fixed handling of polymorphic annotation variables without duplicate opaques.
Added a simple unit test.
Adjustments to improve performance of manifestation.
Fix duplicate instance bug with parsers-0.1.0 and parsec-parsers.

The parsers package as of 0.1.0 includes the instances that were previously
contained in parsec-parsers, making the latter unnecessary. This should fix the
duplicate instance error that arises if both are installed alongside each other.

This change will require forced update of the parsers package to version 0.1.0
if a previous version is present.
Fix L.K3.R.Options to work with the new optparse-applicative.

An altogether unnecessary fix to an altogether avoidable problem.
Added some simplification routinesto manifestation.
Merge branch 'master' of https://github.com/DaMSL/K3-Core