bootstrap/probe_typecheck

• go.mod
• go.sum
• main.go