Add a constant that's False at runtime but True when type checking

This would provide a standard idiom for including imports that are only necessary while type checking, see e.g. https://github.com/python/mypy/pull/1646 (which currently recommends `if False: import ...` because that's the only way to do it).
