nice, another article about types. because that's the real problem with programmatic tool calling. Not the underlying design or security issues. sure, types will fix everything. https://www.reddit.com/user/cel7t