A typescript language service plugin to check type coverage for typescript code