Do dependency analysis when kind-checking type declarations