Add Steep for type checking

Add `steep` to Gemfile, add `steep` rake task, and add `typecheck`
GitHub workflow.

Author: sferik

.github/workflows/typecheck.yml

@@ -0,0 +1,16 @@
+name: typecheck
+
+on: [push, pull_request]
+
+jobs:
+  steep:
+    runs-on: ubuntu-latest
+    steps:
+    - uses: actions/checkout@v6
+    - name: Set up Ruby
+      uses: ruby/setup-ruby@v1
+      with:
+        ruby-version: "4.0"
+        bundler-cache: true
+    - name: Type check
+      run: bundle exec rake steep

Gemfile

@@ -3,6 +3,7 @@ source "https://rubygems.org"
 gemspec
 
 gem "rake"
+gem "steep"
 gem "test-unit"
 gem "test-unit-ruby-core"
 

Rakefile

@@ -8,6 +8,11 @@ Rake::TestTask.new(:test) do |t|
   t.test_files = FileList["test/**/test_*.rb"]
 end
 
+desc "Type check with Steep"
+task :steep do
+  sh "steep check"
+end
+
 namespace :rbs do
   Rake::TestTask.new(:test) do |t|
     t.libs << "test_sig"

Steepfile

@@ -0,0 +1,17 @@
+target :lib do
+  check "lib"
+  signature "sig"
+
+  library "cgi"
+  library "open-uri"
+  library "net-protocol"
+  library "openssl"
+  library "resolv"
+  library "securerandom"
+  library "socket"
+  library "strscan"
+  library "tempfile"
+  library "timeout"
+  library "uri"
+  library "zlib"
+end