Modified code to address incorrect generation of bounds on annotation member types.  Also corrected closure bug relating to ascribed types.  Currently, a race condition of some kind appears to exist in the debugging output.
Fixed a subtle deadlock bug in the logger.