Make sure templates included in type checked mode are also type checked