Deprecate :nocheck for :no-check. Add docstrings for core annotations.

Make core.async types bivariant