feat(diagnostics): detect declare(strict_types=1) for stricter type checking

feat(diagnostics): detect declare(strict_types=1) for stricter type checking #1024