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.