High level typed interface

[AriMKatz]

Opening per @remic33 in https://twitter.com/lateinteraction/status/1736804963760976092?t=5Pypu6f6AWPljWiWUbWM8g&s=19

I really like outlines. I also really like https://github.com/shroominic/funcchain

A library that provides high level pythonic abstractions like typed functions dynamically compiling grammars for return pydantic structs (funcchain) that would also allow you to drop down to customize generation (outlines )either within or around these functions would be amazing. High level mypy Typed boundaries around outlines programs.

Analogy would be Pytorch:triton::funcchain/equivalent:outlines

Aside from the funcchain feature, for my use case I'd love to see:

1. Custom unpacking of pydantic structs: Looping/ programmatically accessing fields into prompts
2. Customizing generation of pydantic output structs
3. Mixing and matching regular python types and pydantic inputs and outputs
4. Stretch goal: Some sort of single dispatch (class based) or multiple dispatch polymorphism (https://github.com/beartype/plum)

Our baseline MVP will be using OpenAI models initially. For this to be computationally feasible, I think we'd need function calling, which seems to be planned?

Related to: #508