Fix a serious bug that would cause deadlock during abstract type refinement. The...